<?php

class Jefe extends BaseJefe
{
}
